Logical Framework Design
نویسندگان
چکیده
Why not just classical logic? Iliano Cervesato I was recently invited to give a presentation about the logical framework LLF. After a 40 minutes talk in which I revealed the intricacies of the underlying type theory and illustrated by means of examples the meta-representation wonders of this new language, somebody in the audience said: \This looks very complicated. Why not using, say, classical logic instead?". In this chapter, I build upon my then improvised answer. I will recall what logical frameworks are and try to motivate the simple but unfamiliar constructs they often rely upon.
منابع مشابه
Building capacity for evidence generation, synthesis and implementation to improve the care of mothers and babies in South East Asia: methods and design of the SEA-ORCHID Project using a logical framework approach
BACKGROUND Rates of maternal and perinatal mortality remain high in developing countries despite the existence of effective interventions. Efforts to strengthen evidence-based approaches to improve health in these settings are partly hindered by restricted access to the best available evidence, limited training in evidence-based practice and concerns about the relevance of existing evidence. So...
متن کاملIntegration of Aspects in Design Processes
In this paper, we discuss dynamic integration of multiple aspects, i.e., integration accomplished according to progress of design. It is not prepared in advance, but created in design processes. Firstly, we introduce our model of design processes that is based on a logical framework. Secondly, we de ne aspects in the logical framework. An aspect is represented as a tuple of theory and vocabular...
متن کاملBuilding Extensible Compilers in a Formal Framework A Formal Framework User’s Perspective
We outline a new methodology for compiler design, based on the use of a transformation logic defined within an existing generalpurpose logical framework. We discuss how this methodology can be used to address several central issues in compiler design and implementation: ease of implementation, extensibility, compositionality, and trust. We show how pre-existing features of the logical framework...
متن کاملA logical framework combining model and proof theory
Mathematical logic and computer science drive the design of a growing number of logics and related formalisms such as set theories and type theories. In response to this population explosion, logical frameworks have been developed as formal meta-languages in which to represent, structure, relate, and reason about logics. Research on logical frameworks has diverged into separate communities with...
متن کاملIntuitive and logical way of thinking in the education of architectural design courses
Different approaches and methods are used in the architecture design process that logical and intuitional methods are the most common ones. The role of knowledge in each method is different. Investigating aspects of knowledge demonstrated the hierarchy from data to wisdom and the interaction of explicit and tacit types, subjective and objective sources, and analytical and exploratory ways of p...
متن کاملReliable Frameworks for Extensible Compilers
We present a new methodology for compiler design, based on the use of a transformation logic defined within an existing general-purpose logical framework. We demonstrate how this methodology can be used to address several central issues in compiler design and implementation: ease of implementation, extensibility, compositionality, and trust.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008